Here we describe quantifier elimination based theorem provers that were developed in GIS Group for Inteligent Systems on the Faculty of Mathematics, University of Belgrade; Specially, we present CRACKEN theorem prover for monadic logic, with potential applications.

PRINTEPS (Practical INTEligent aPplicationS) is a platform for developing integrated intelligent applications. PRINTEPS integrates 5 types of sub systems (knowledge-based reasoning, speech dialog, image sensing, manipulation and machine learning). This paper presents how PRINTEPS has been applied to Teaching Assistant Robot where multiple people and robots cooperate.

Recent demands in robotics accelerated the growth of high precision technology using parallel mechanism in various applications such as medicine, environmental investigations, industry, inteligent systems etc. Maintaining the desired dynamic behavior of systems in the face of perturbations and other uncertainties has become the ultimate goal in stability of robotic systems, [1]. In some robotic...

Here we give a detailed description of the quantifier elimination algorithm for algebraically closed fields (ACF); We also describe its implementation in the system AFC-EQ that was developed in GIS Group for Inteligent Systems on the Faculty of Mathematics, University of Belgrade.

Energia electrică pentru sistemul public de iluminat constituie partea cea mai importantă a consumului de energie dintr-o localitate, iar operarea şi mentenanţa sistemului de iluminat este costisitoare pentru comunitatea locală. Lucrarea studiază produsele şi elementele inovative din domeniul iluminatului stradal şi propune o soluţie economică bazată pe un sistem inteligent de telemăsurare şi c...

In this contribution we describe a neural approach to classify vehicles based on sound emitted by them. Engines and the carriageable devices are the sources of signal. The used methodology doesn't require the detailed analysis which part of object is responsible for the components of signal. The sound is preprocessed using wavelet method to obtain feature vectors to be used by a neural classifi...